type LengthOfString<S extends string,T extends any[ ]= []> = S extends `${infer First}${infer Rest}`?LengthOfString<Rest,[...T,First]>:T['length']
